Buy Used and New Thierry Coquand Books

Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers: 1956 (Lecture Notes in Computer Science)

by Thierry Coquand,Peter Dybjer,Jan Smith,Bengt Nordström

ISBN 13: 9783540415176

Format: Paperback (208 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later